An extensional treatment of lazy data flow deadlock
نویسندگان
چکیده
منابع مشابه
An Extensional Treatment of Dataflow Deadlock
We discuss deadlock in reference to a simple equational dataflow language, and devise a test (the cycle sum test) which is applied to the dependency graph of a program. We use Kahn’s extensional semantics of dataflow and give a purely extensional (non-operational) proof that no program passing the cycle sum test can ever deadlock. The proof is based on the notions of size (length) and completen...
متن کاملEvolution of an elliptical bubble in an accelerating extensional flow
The manufacture of optical fibers typically involves taking a solid glass cylinder (a blank or preform), heating it up to melting temperature by feeding it through a cylindrical furnace (the drawing tower), and drawing the molten blank from the other end of the furnace at high speed (tens of meters per second). Since the drawing speed is much faster than the feeding speed (by a factor of at lea...
متن کاملExtensional Flow of Bulk Polymers
A standard Instron testing machine, in which crosshead displacement varies linearly with time was modified so that crosshead displacement varies exponentially with time. This change permits testing at constant Hencky strain rate (c = fi/8), which provides a constant stretch history for both simple extensional flow and strip biaxial extensional flow. This results in a visualization of the steady...
متن کاملAn Optimized Cross-Slot Flow Geometry for Microfluidic Extensional Rheometry
A precision-machined cross-slot flow geometry with a shape that has been optimized by numerical simulation of the fluid kinematics is fabricated and used to measure the extensional viscosity of a dilute polymer solution. Full-field birefringence microscopy is used to monitor the evolution and growth of macromolecular anisotropy along the stagnation point streamline, and we observe the formation...
متن کاملExtensional-flow-induced crystallization of isotactic polypropylene
A filament stretching extensional rheometer with a custom-built oven was used to investigate the effect of uniaxial flow on the crystallization of polypropylene. Prior to stretching, samples were heated to a temperature well above the melt temperature to erase their thermal and mechanical histories and the Janeschitz-Kriegl protocol was applied. The samples were stretched at extension rates in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00051-w